| 1. | The second, more natural reading is the bound variable reading.
|
| 2. | Linguists like bound variables, a term borrowed from logic.
|
| 3. | Sch�nfinkel developed a formal system that avoided the use of bound variables.
|
| 4. | Closures are functions evaluated in an environment containing bound variables.
|
| 5. | The existence of bound variables is perhaps more apparent with the following example:
|
| 6. | Note that many of these are operators which act on functions of the bound variable.
|
| 7. | The concepts of free and bound variables apply in the same manner to infinite formulae.
|
| 8. | In many cases, this definition makes correct predictions about the availability of bound variable interpretations.
|
| 9. | This leads to an ambiguity, in which the second interpretation is the bound variable interpretation.
|
| 10. | Bound variables are variable names that are already attached to formal parameter variables in the expression.
|